Testing real-time systems using TINA

The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts

Sosialisasi Pengenalan Dan Pencegahan Diabetes Melitus

Diabetes melitus didefinisikan sebagai kelainan metabolik dengan berbagai etiologi yang ditandai dengan hiperglikemia kronis dengan gangguan metabolisme karbohidrat, protein dan lemak yang dihasilkan dari defek pada sekresi insulin, kerja insulin, atau keduanya. Diabetes melitus saat ini menjadi salah satu ancaman kesehatan global. DM dapat diklasifikasikan menjadi 4 kelompok, yaitu DM tipe 1, DM tipe 2, DM gestasional dan DM tipe lain. Penemuan obat diabetes mellitus yang diciptakan juga semakin banyak namun terkadang memiliki efek samping yang tidak kita inginkan. Sehingga melalui penyuluhan ini dapat dimanfaatkan sebaik mungkin agar masyarakat dapat memahami bahwa penting sekali untuk menjaga pola sehat agar terhindar dari penyakit diabetes mellitus. Selama acara berlangsung, Proses sosialisasi berlangsung dengan sangat baik. Untuk memastikan para peserta sosialisasi memahami dan mengerti materi yang telah disampaikan, dilakukan evaluasi pertanyaan mengenai materi dan meminta para peserta untuk mengulang kembali materi yang telah dijelaskan. Sehingga diharapkan para peserta yang lainnya lebih antusias dalam mengikuti penyuluhan dan sesi tanya jawab terhadap materi yang telah disampaika

Advances in Social Media Research:Past, Present and Future

Social media comprises communication websites that facilitate relationship forming between users from diverse backgrounds, resulting in a rich social structure. User generated content encourages inquiry and decision-making. Given the relevance of social media to various stakeholders, it has received significant attention from researchers of various fields, including information systems. There exists no comprehensive review that integrates and synthesises the findings of literature on social media. This study discusses the findings of 132 papers (in selected IS journals) on social media and social networking published between 1997 and 2017. Most papers reviewed here examine the behavioural side of social media, investigate the aspect of reviews and recommendations, and study its integration for organizational purposes. Furthermore, many studies have investigated the viability of online communities/social media as a marketing medium, while others have explored various aspects of social media, including the risks associated with its use, the value that it creates, and the negative stigma attached to it within workplaces. The use of social media for information sharing during critical events as well as for seeking and/or rendering help has also been investigated in prior research. Other contexts include political and public administration, and the comparison between traditional and social media. Overall, our study identifies multiple emergent themes in the existing corpus, thereby furthering our understanding of advances in social media research. The integrated view of the extant literature that our study presents can help avoid duplication by future researchers, whilst offering fruitful lines of enquiry to help shape research for this emerging field

Particulate matter 2.5, metropolitan status, and heart failure outcomes in US counties: A nationwide ecologic analysis.

The relationship between particulate matter with a diameter of 2.5 micrometers or less (PM2.5) and heart failure (HF) hospitalizations and mortality in the US is unclear. Prior studies are limited to studying the effects of daily PM2.5 exposure on HF hospitalizations in specific geographic regions. Because PM2.5 can vary by geography, this study examines the effects of annual ambient PM2.5 exposure on HF hospitalizations and mortality at a county-level across the US. A cross-sectional analysis of county-level ambient PM2.5 concentration, HF hospitalizations, and HF mortality across 3135 US counties nationwide was performed, adjusting for county-level demographics, socioeconomic factors, comorbidities, and healthcare-associated behaviors. There was a moderate correlation between county PM2.5 and HF hospitalization among Medicare beneficiaries (r = 0.41) and a weak correlation between county PM2.5 and HF mortality (r = 0.08) (p-values < 0.01). After adjustment for various county level covariates, every 1 ug/m3 increase in annual PM2.5 concentration was associated with an increase of 0.51 HF Hospitalizations/1,000 Medicare Beneficiaries and 0.74 HF deaths/100,000 residents (p-values < 0.05). In addition, the relationship between PM2.5 and HF hospitalizations was similar when factoring in metropolitan status of the counties. In conclusion, increased ambient PM2.5 concentration level was associated with increased incidence of HF hospitalizations and mortality at the county level across the US. This calls for future studies exploring policies that reduce ambient particulate matter pollution and their downstream effects on potentially improving HF outcomes

Cobalt and Titanium Alleviate the Methylglyoxal-Induced Oxidative Stress in <i>Pennisetum divisum</i> Seedlings under Saline Conditions

Salinity is considered to be a global problem and a severe danger to modern agriculture since it negatively impacts plants’ growth and development at both cellular- and whole-plant level. However, cobalt (Co) and titanium (Ti), multifunctional non-essential micro-elements, play a crucial role in improving plant growth and development under salinity stress. In the current study, Co and Ti impact on the morphological, biochemical, nutritional, and metabolic profile of Pennisetum divisum plants under three salinity levels which were assessed. Two concentrations of Co (Co-1; 15.0 mg/L and Co-2; 25.0 mg/L), and two concentrations of Ti (Ti-1; 50.0 mg/L and Ti-2; 100.0 mg/L) were applied as foliar application to the P. divisum plants under salinity (S1; 200 mM, S2; 500 mM, and S3; 1000 mM) stress. The results revealed that various morphological, biochemical, and metabolic processes were drastically impacted by the salinity-induced methylglyoxal (MG) stress. The excessive accumulation of salt ions, including Na+ (1.24- and 1.21-fold), and Cl− (1.53- and 1.15-fold) in leaves and roots of P. divisum, resulted in the higher production of MG (2.77- and 2.95-fold) in leaves and roots under severe (1000 mM) salinity stress, respectively. However, Ti-treated leaves showed a significant reduction in ionic imbalance and MG concentrations, whereas considerable improvement was shown in K+ and Ca2+ under salinity stress, and Co treatment showed downregulation of MG content (26, 16, and 14%) and improved the antioxidant activity, such as a reduction in glutathione (GSH), oxidized glutathione (GSSG), Glutathione reductase (GR), Glyoxalase I (Gly I), and Glyoxalase II (Gly II) by up to 1.13-, 1.35-, 3.75-, 2.08-, and 1.68-fold under severe salinity stress in P. divisum roots. Furthermore, MG-induced stress negatively impacted the metabolic profile and antioxidants activity of P. divisum’s root and leaves; however, Co and Ti treatment considerably improved the biochemical processes and metabolic profile in both underground and aerial parts of the studied plants. Collectively, the results depicted that Co treatment showed significant results in roots and Ti treatment presented considerable changes in leaves of P. divism under salinity stress